{
  stdenv,
  fetchFromGitHub,
  lib,
  makeWrapper,
  ocamlbuild,
  findlib,
  ocaml,
  num,
  zarith,
}:

stdenv.mkDerivation rec {
  pname = "ocaml${ocaml.version}-lem";
  version = "2025-03-13";

  src = fetchFromGitHub {
    owner = "rems-project";
    repo = "lem";
    rev = version;
    hash = "sha256-ZV2OiFonMlNzqtsumMQ8jzY9/ATaZxiNHZ7JzOfGluY=";
  };

  nativeBuildInputs = [
    makeWrapper
    ocamlbuild
    findlib
    ocaml
  ];
  propagatedBuildInputs = [
    zarith
    num
  ];

  installFlags = [ "INSTALL_DIR=$(out)" ];

  createFindlibDestdir = true;

  postInstall = ''
    wrapProgram $out/bin/lem --set LEMLIB $out/share/lem/library
  '';

  meta = with lib; {
    homepage = "https://github.com/rems-project/lem";
    description = "Tool for lightweight executable mathematics";
    mainProgram = "lem";
    maintainers = with maintainers; [ genericnerdyusername ];
    license = with licenses; [
      bsd3
      gpl2
    ];
    platforms = ocaml.meta.platforms;
    broken = !(lib.versionAtLeast ocaml.version "4.07");
  };
}
